Oleg Sokolsky (u. A.) | Automated Technology For Verification And

Automated Technology For Verification And Analysis | Chao Wang (u. A.)

Jean-francois Raskin (u. A.) | Automated Technology For Verification

Kedar Namjoshi (u. A.) | Automated Technology For Verification And

Vijay Ganesh (u. A.) | Automated Technology For Verification And

Anders P. Ravn (u. A.) | Automated Technology For Verification And

Automated Technology For Verification And Analysis Jean-francois

Automated Technology For Verification And Analysis 16th International

Nils Przigoda (u. A.) | Automated Validation & Verification Of Uml/ocl

Current Trends In Hardware Verification And Automated Theorem Proving

Use Of Information And Communication Technology (ict) For Automated

Critical Systems: Formal Methods And Automated Verification Joint 22nd

Validation And Verification Of Automated Systems Results Of The

Tevfik Bultan (u. A.) | String Analysis For Software Verification And

Valeria Bertacco (u. A.) | Post-silicon And Runtime Verification For

Paolo Zuliani (u. A.) | Automated Reasoning For Systems Biology And